منابع مشابه
bivariations and tensor products
the ordinary tensor product of modules is defined using bilinear maps (bimorphisms), that are linear in eachcomponent. keeping this in mind, linton and banaschewski with nelson defined and studied the tensor product in an equational category and in a general (concrete) category k, respectively, using bimorphisms, that is, defined via the hom-functor on k. also, the so-called sesquilinear, or on...
متن کاملFuzzy projective modules and tensor products in fuzzy module categories
Let $R$ be a commutative ring. We write $mbox{Hom}(mu_A, nu_B)$ for the set of all fuzzy $R$-morphisms from $mu_A$ to $nu_B$, where $mu_A$ and $nu_B$ are two fuzzy $R$-modules. We make$mbox{Hom}(mu_A, nu_B)$ into fuzzy $R$-module by redefining a function $alpha:mbox{Hom}(mu_A, nu_B)longrightarrow [0,1]$. We study the properties of the functor $mbox{Hom}(mu_A,-):FRmbox{-Mod}rightarrow FRmbox{-Mo...
متن کاملTensor Products
Let R be a commutative ring and M and N be R-modules. (We always work with rings having a multiplicative identity and modules are assumed to be unital: 1 ·m = m for all m ∈M .) The direct sum M ⊕N is an addition operation on modules. We introduce here a product operation M ⊗RN , called the tensor product. We will start off by describing what a tensor product of modules is supposed to look like....
متن کاملOperadic Tensor Products and Smash Products
Let k be a commutative ring. E∞ k-algebras are associative and commutative k-algebras up to homotopy, as codified in the action of an E∞ operad; A∞ k-algebras are obtained by ignoring permutations. Using a particularly well-behaved E∞ algebra, we explain an associative and commutative operadic tensor product that effectively hides the operad: an A∞ algebra or E∞ algebra A is defined in terms of...
متن کاملTensor products and *-autonomous categories
The main use of ∗-autonomous categories is in the semantic study of Linear Logic. For this reason, it is thus natural to look for a ∗-autonomous category of locally convex topological vector spaces (tvs). On one hand, Linear Logic inherits its semantics from Linear Algebra, and it is thus natural to build models of Linear Logic from vector spaces [3,5,6,4]. On the other hand, denotational seman...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1994
ISSN: 0747-7171
DOI: 10.1006/jsco.1994.1067